<ul>
<li><a href="<?php echo $page->getPathToWebRoot(); ?>faq.php">FAQ</a></li>
<li><a href="<?php echo $page->getPathToWebRoot(); ?>documentation.php">Documentation</a></li>
<li><a href="<?php echo $page->getPathToWebRoot(); ?>publications.php">Publications</a></li>
<li><a href="<?php echo $page->getPathToWebRoot(); ?>mail_lists.php">Mail Lists</a></li>
<li><a href="<?php echo $page->getPathToWebRoot(); ?>developer_tools.php">Developer Tools</a></li>
</ul>
